es-prior-interface-vals(es;X;e) == mapfilter(e.X(e);e.e  X;before(e)) 

latex

---

clarification:

es-prior-interface-vals(es;X;e) == mapfilter(e.X(e);e.e  X;es-before(es; e)) 

latex

Definitions	before(e), e  X, x.A(x), X(e), mapfilter(f;P;L)
FDL editor aliases	es-prior-interface-vals